ATMS：一个自治化信任管理系统

信任管理技术基于授权凭证签发、通过分布式凭证搜索验证信任关系链,有效实现了开放环境下的分布式授权和访问控制过程。然而,由于开放式环境下信任网络的复杂性和动态性,传统的信任管理系统在凭证搜索、凭证链的建立方面效率不高。针对这一问题,提出了一种自治化的信任管理系统,通过引入权限路由表的概念,使得凭证链建立的过程中,凭证的搜索能够始终导向权限请求的客体。在信任网络比较复杂,权限请求频繁的情况下,自治化的信任管理系统能够提高凭证搜索和凭证链建立的效率。     

开放网络环境下的程序设计：从RPC到REST

在Internet/WWW这一开放软件平台上已发展了诸多软件架构技术,针对开放网络环境下不同的应用场景与需求,如何对复杂多样的技术进行架构决策、技术选取等提供指导是亟需解决的问题。在考察RPC、Web服务等已有架构、技术的基础上,总结了它们共有的重要方面,分析了这些方面是如何相互交织并影响系统的非功能属性,从而形成一个评估框架。最后,选取典型的技术对其进行比较评估。     

CMM过程支持系统中对过程改变多策略支持的研究

企业在实施CMM时，过程改进这样的宏观目标是通过从微观上成功地完成项目来实现的．因此，自动实施CMM的过程支持系统应该具有灵活的支持过程动态改变的能力，以利于适应多变的项目环境，而过程改变的情况比较复杂，单一策略的采用既增加了模型的复杂性，又不利于系统充分利用已有的底层支持技术．本文介绍了一种多策略过程动态改变支持机制。该机制可用于基于CMM的过程支持系统中，有效提高基于CMM的过程管理系统在过程改变支撑方面的灵活性和实用性．     

图形化对象式需求定义语言NDORL

ＮＤＯＲＬ语言属于一种半形式化需求定义语言，采用了面向对象方法，能够支持软件需求构模的图形化需求定义，其特点是：表达能力强、形象直观、易理解、易维护、便于复用。本文主要讨论ＮＤＯＲＬ语言。     

面向对象程序设计语言的形式语义研究

面向对象程序设计语言(以下简称面向对象语言)的基本思想起源于六十年代中期的Simula语言,在七十年代的Smalltalk语言及环境中得到发展,在八十年代的Eiffel、C++等语言中进一步得到巩固和完善。     

一种基于动态语境组装的分布式构件框架的设计与实现

 提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境Artemis Studio中得到初步实现和应用.     

Cbase数据库查询重写模块的设计与实现

本文详细讨论了重写模块的设计思想与实现技术，并讨论了利用执行引擎特点引入的一组基于等价谓调的简单语句直写规则．测试结果表明，增加重写模块的查询优化器能显著提高系统的查询效率．     

基于Email信箱的agent迁移和通信机制的设计和实现

1.前言移动agent是运行于开放、动态网络环境中的封装良好的计算实体,可以代表用户自主地在网络上移动,完成指定的任务。它具有自主性、移动性、协作性和安全性等特性。这些特性使得移动agent技术可在通信功效、网络容错、网络计算以及网络适应性等方面提高网络应用的质量,从而成为近年来网络技术研究的一个热点。 Internet是个动态、开放的环境,移动用户和无线用户的     

对象式软件需求模型及其机器支撑

为了研究需求级软件自动化技术,研制对象式软件需求分析支撑系统的需要,文章提出了一个层次化对象式软件需求模型NDHORM(Nanjing daxue hierarchical object-oriented requirements modelling),它主要包括对象关系模型、类关系模型和类字典3个组成部分.文章基于对对象式需求模型的简要讨论,详细介绍了NDHORM模型的组成、层次结构及对象精化,给出了NDHORM的构模过程,最后简要介绍了NDHORM模型的机器支撑系统.     

一种新型实时数据模型——钟面模型

动态的实时数据总是包含对应的时间信息,现有实时数据库技术没有充分考虑时间信息的建模问题;另一方面,大型实时数据库中数据存取效率的瓶颈在于磁盘的机械运动.提出了一种新型实时数据模型--钟面模型.建立了钟面模型与实时数据的时间属性之间的逻辑对应关系,分析了钟面模型与磁盘存储介质的圆柱状结构之间的逻辑对应关系,以及根据数据在逻辑钟面的偏移位置,确定数据在物理磁盘上的偏移位置的计算方法.初步研究结果表明基于钟面模型的实时数据模型及其对应的数据存取技术,可以减少磁盘的机械运动,缩短定位操作所消耗的时间,显著提高数据处理效率.